101. Scientific computing with automatic result verification
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing,، Computer science-- Mathematics
رده :
QA
76
.
S368
1993
102. Scientific computing with automatic result verification
پدیدآورنده : edited by E. Adams, U. Kulisch
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic data processing,، Computer science -- Mathematics
رده :
QA
76
.
S36
1993
103. Scientific computing with automatic result verification
پدیدآورنده : / edited by E. Adams, U. Kulisch
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Electronic data processing,Computer science - Mathematics
رده :
QA
76
.
S368
1993
104. #Studies in computer science
پدیدآورنده : #Seymour V. Pollack, editor , ]contributions by[ William E. Ball ... ]et al.[
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Computer science ،Mathematics- Data processing
رده :
#
QA
،#.
S788
105. Studies in computer science
پدیدآورنده : Seymour V. Pollack, editor; ]contributions by[ William E. Ball ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science,Data processing ، Mathematics
رده :
QA
1
.
S78
Vol
.
22
106. Studies in computer science
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science,، Mathematics-- Data processing
رده :
QA
76
.
24
.
S78
1982
107. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده : edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
108. Symbolic computation : applications to scientific computing
پدیدآورنده : edited by Robert Grossman
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
109. Synthesis of computational structures for analog signal processing
پدیدآورنده : / Cosmin Radu Popa
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Signal processing--Mathematics,Data structures (Computer science),Computer programming
رده :
TK5102
.
9
.
P65
2011
110. Synthesis of computational structures for analog signal processing
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Signal processing ; Mathematics. ; Data structures (Computer science) ; Computer programming. ;
111. Synthesis of computational structures for analog signal processing
پدیدآورنده : / Cosmin Radu Popa
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Signal processing--Mathematics,Data structures (Computer science),Computer programming.
رده :
TK
,
5102
.
9
,.
P65
,
2011
112. Synthesis of computational structures for analog signal processing
پدیدآورنده : Popa, Cosmin Radu., Cosmin Radu Popa
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Signal processing, Mathematics,، Data structures )Computer science(,، Computer programming
رده :
TK
5102
.
9
.
P65
2011
113. The concrete tetrahedron
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Numerical analysis ; Data processing. ; Computer science ; Mathematics. ; Mathematics. ; Algorithms. ;
114. The concrete tetrahedron
پدیدآورنده : / Manuel Kauers, Peter Paule
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Numerical analysis--Data processing,Computer science--Mathematics,Mathematics.,Algorithms.
رده :
QA
,
154
.
3
,.
K358
,
2011
115. The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates
پدیدآورنده : Kauers, Manuel
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing ، Numerical analysis,Mathematics ، Computer science,، Mathematics,، Algorithms
رده :
QA
154
.
3
.
K38C6
116. The joint conference of ASCM 2009 and MACIS 2009 : Asian symposium on computer mathematics, mathematical aspects of computer and information sciences
پدیدآورنده : editors : Masakazu Suzuki....]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Number theory
رده :
QA
76
.
9
.
M35A88
2009
117. Topics in Industrial Mathematics
پدیدآورنده : by Helmut Neunzert, Abul Hasan Siddiqi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Computer science-- Mathematics.,Electronic data processing.,Mathematical optimization.,Mathematics.
118. Understanding computation
پدیدآورنده : Tom Stuart
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity,Computer science,Mathematics-- Data processing
رده :
QA76
.
S88378
2013
119. Intelligent optimisation techniques: genetic algorithms, tabu search, simulated annealing and neural networks
پدیدآورنده : D. T. Pham and D. Kraboga
کتابخانه: Library of Institute For Color Science and Technology (Tehran)
موضوع : Engineering--Data processing,Computer--Acided engineering,Heuristic programming,Genetic algorithms,Simulated annealing (Mathematics ),Neural networks (Computer science)
